Μετάβαση στο περιεχόμενο

Συναρτησιακή ανάλυση

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Ένας από τους πιθανούς τρόπους δόνησης μιας εξιδανικευμένης κεφαλής κυκλικού τυμπάνου. Αυτοί οι τρόποι είναι ιδιοσυναρτήσεις ενός γραμμικού τελεστή σε μία συνάρτηση στο χώρο, μια σύνηθης κατασκευή στην συναρτησιακή ανάλυση.

Η συναρτησιακή ανάλυση είναι ένας κλάδος της μαθηματικής ανάλυσης, που ασχολείται κυρίως με τη μελέτη των διανυσματικών χώρων μαζί με κάποιο είδος ορίου που σχετίζεται με τη δομή (π.χ. εσωτερικό γινόμενο, νόρμα ή τοπολογία) και των γραμμικών τελεστών που ενεργούν σε αυτούς τους χώρους και με σεβασμό σε αυτές τις δομές με μία κατάλληλη έννοια. Οι ιστορικές ρίζες της συναρτησιακής ανάλυσης βρίσκονται στη μελέτη των συναρτησιακών χώρων και τη διατύπωση των ιδιοτήτων των συναρτησιακών μετασχηματισμών, όπως ο μετασχηματισμός Φουριέ, ως συνεχών μετασχηματισμών μεταξύ συναρτησιακών χώρων. Αυτή η άποψη αποδείχθηκε ιδιαίτερα χρήσιμη για την μελέτη των διαφορικών εξισώσεων και των ολοκληρωτικών εξισώσεων.

Η χρήση της λέξης συνάρτησιακή πηγαίνει πίσω στον λογισμό των μεταβολών, που αναφέρεται σε μία συνάρτηση της οποίας το όρισμα είναι επίσης συνάρτηση. Το όνομα χρησιμοποιήθηκε για πρώτη φορά στο βιβλίο του Ανταμάρ το 1910 πάνω σε αυτό το θέμα. Ωστόσο, η γενική έννοια της συνάρτησης είχε προηγουμένως εισαχθεί το 1887 από τον Ιταλό μαθηματικό και φυσικό Βίτο Βολτέρρα.[1][2] Η μη γραμμική συναρτησιακή ανάλυση συνεχίστηκε από τους μαθητές του Ανταμάρ, συγκεκριμένα τους Fréchet και Lévy. Ο Ανταμάρ επίσης ίδρυσε τη σύγχρονη σχολή της γραμμικής συναρτησιακής ανάλυσης  που αναπτύχθηκε περαιτέρω από τον Ρης και την ομάδα Πολωνών μαθηματικών του Στέφαν Μπάναχ.

Στα σύγχρονα εισαγωγικά κείμενα για τη συναρτησιακή ανάλυση, το θέμα θεωρείται ως η μελέτη των διανυσματικών χώρων εφοδιασμένο με μία τοπολογία, συγκεκριμένα τους άπειρο-διάστατους χώρους.[3][4] Αντίθετα, η γραμμική άλγεβρα ασχολείται κυρίως με πεπερασμένων διαστάσεων χώρους, και δεν χρησιμοποιεί τοπολογία. Ένα σημαντικό μέρος της συναρτησιακής ανάλυσης είναι η επέκταση της θεωρίας θεωρίας, ολοκλήρωσης, και πιθανοτήτων σε άπειρο-διάστατους χώρους, επίσης γνωστή ως άπειρο-διαστατική ανάλυση.

Κανονικοί διανυσματικοί χώροι

[Επεξεργασία | επεξεργασία κώδικα]

Η βασική και ιστορικά πρώτη τάξη των χώρων που μελετήθηκε στη συναρτησιακή ανάλυση είναι οι [[Πλήρης μετρικός χώρος |πλήρεις κανονικοί διανυσματικοί χώροι]] στους πραγματικούς ή τους μιγαδικούς αριθμούς. Οι χώροι αυτοί ονομάζονται χώροι Μπάναχ. Ένα σημαντικό παράδειγμα είναι ένας χώρος Χίλμπερτ, όπου η νόρμα προκύπτει από το εσωτερικό γινόμενο. Οι χώροι αυτοί είναι θεμελιώδους σημασίας για πολλούς τομείς, όπως η Κβαντική μηχανική.

Γενικότερα, η συναρτησιακή ανάλυση περιλαμβάνει τη μελέτη των χώρων Fréchet και άλλων τοπολογικών διανυσματικών χώρων που δεν είναι εφοδιασμένοι με μία νόρμα.

Ένα σημαντικό αντικείμενο μελέτης στη συναρτησιακή ανάλυση είναι η συνεχείς γραμμικοί τελεστές που ορίζονται στους χώρους Μπάναχ και Χίλμπερτ. Αυτοί αφορούν τον ορισμό των C*-αλγεβρών και άλλων φορέων αλγεβρών.

Οι χώροι Χίλμπερτ μπορεί να είναι εντελώς ταξινομημένοι: υπάρχει ένας μοναδικός (ως προς ισομορφισμό) χώρος Χίλμπερτ για κάθε πληθικότητα της ορθοκανονικής βάσης.[5] Οι Χίλμπερτ χώροι πεπερασμένων διαστάσεων, είναι πλήρως κατανοητοί στη γραμμική άλγεβρα, και οι άπειρο-διάστατοι διαχωρήσιμοι Χίλμπερτ χώροι είναι ισομορφικοί με το . Με τη διαχωρισημότητα να είναι σημαντική για τις εφαρμογές, η συναρτησιακή ανάλυση των χώρων Χίλμπερτ, ασχολείται ως επί το πλείστον με αυτόν τον χώρο. Ένα από τα ανοιχτά προβλήματα στη συναρτησιακή ανάλυση είναι αν κάθε φραγμένος γραμμικός τελεστής σε έναν χώρο Χίλμπερτ έχει ένα (μη-τετριμμένο)  αμετάβλητο υποχώρο. Πολλές ειδικές περιπτώσεις του προβλήματος αμετάβλητου υποχώρου έχουν ήδη αποδειχθεί.

Οι γενικοί χώροι Μπάναχ είναι πιο περίπλοκοι από τους, χώρους Χίλμπερτ, και δεν μπορούν να κατηγοριοποιηθούν με ένα τόσο απλό τρόπο. Ειδικότερα, πολλοί χώροι Μπάναχ στερούνται μιας ιδέας ανάλογης με μια ορθοκανονικη βαση.

Παραδείγματα χώρων Μπάναχ είναι οι χώροι  για κάθε πραγματικό αριθμό . Δοσμένου επιπλέον ενός μέτρου  στο σύνολο , το  (συβολίζεται και ως  ή ) έχει ως διανύσματα τις κλάσεις ισοδυναμίας  μετρήσιμων συναρτήσεων των οποίων η απόλυτη τιμή της -οστής δύναμης έχει πεπερασμένο ολοκλήρωμα, δηλαδή οι συναρτήσεις  για τις οποίες ισχύει

.

Αν  είναι το μέτρο αρίθμησης, τότε το ολοκλήρωμα μπορεί να αντικατασταθεί από ένα άθροισμα, δηλαδή

.

Τότε δεν είναι απαραίτητο να ασχοληθούμε με κλάσεις ισοδυναμίας, και ο χώρος συμβολίζεται , που γράφεται πιο απλά  σε περίπτωση που  είναι το σύνολο των μη-αρνητικών ακεραίων.

Ένα μεγάλο μέρος της μελέτης των χώρων Μπάναχ περιλαμβάνει τον δυικό χώρο: ο χώρος όλων των συνεχών γραμμικών συναρτήσεων από το χώρο στο υποκείμενο πεδίο, το λεγόμενο συναρτησιακό. Ένας χώρος Μπάναχ μπορεί να ταυτοποιηθεί κανονικά με ένα υποδιάστημα του bidual, το οποίο είναι το διπλό τoυ διπλού χώρου. Ο αντίστοιχος χάρτη είναι μια ισομετρία , αλλά σε γενικές γραμμές δεν είναι επάνω. Ένας γενικός χώρος Μπάναχ και ο δεύτερος δυικός του δεν χρειάζεται καν να είναι ισομετρικά ισομορφικός με οποιοδήποτε τρόπο, σε αντίθεση με την περίπτωση των πεπερασμένων διαστάσεων. Αυτό εξηγείται στο άρθρο για τους δυικούς χώρους.

Επίσης, η έννοια της παραγώγου μπορεί να επεκταθεί σε αυθαίρετες συναρτήσεις μεταξύ χώρων Μπάναχ. Δείτε, για παράδειγμα, το άρθρο της παραγώγου Frechet.

Σημαντικά και θεμελιώδη αποτελέσματα

[Επεξεργασία | επεξεργασία κώδικα]

Σημαντικά αποτελέσματα της συναρτησιακής ανάλυσης περιλαμβάνουν:

Αρχή ομοιόμορφου φράγματος

[Επεξεργασία | επεξεργασία κώδικα]

Η αρχή του ομοιόμορφου φράγματος ή θεώρημα Μπάναχ-Στάινχαους είναι ένα από τα θεμελιώδη αποτελέσματα στην συναρτησιακή ανάλυση. Μαζί με το θεώρημα Χαν-Μπάναχ και το θεώρημα ανοιχτής απεικόνισης, θεωρείται ένας από τους ακρογωνιαίους λίθους του κλάδου. Στην βασική του μορφή, ισχυρίζεται ότι για μια οικογένεια συνεχών γραμμικών τελεστών (και έτσι φραγμένων τελεστών) της οποίας το πεδίο είναι χώρος Μπάναχ, φραγμένη κατά σημείο είναι ισοδύναμη με ομοιόμορφα φραγμένη στο κανόνα του τελεστή.

Το θεώρημα δημοσιεύθηκε για πρώτη φορά το 1927 από τους Στέφαν Μπάναχ και Χιούγκο Στάινχαους, αλλά το είχε ήδη αποδείξει ανεξάρτητα ο Χανς Χαν.

Θεώρημα —  Έστω ένας χώρος Μπάναχ, ένας διανυσματικός χώρος με νόρμα και είναι ένα σύνολο από συνεχείς γραμμικούς τελεστές από το στο . Αν για κάθε στο ισχύει ότι

,

τότε

.

Φασματικό θεώρημα

[Επεξεργασία | επεξεργασία κώδικα]

Υπάρχουν πολλά θεωρήματα που είναι γνωστά ως φασματικό θεώρημα, αλλά το παρακάτω συγκεκριμένα έχει πολλές εφαρμογές στη συναρτησιακή ανάλυση. 

Θεώρημα (Φασματικό θεώρημα[6]) — Έστω ένας φραγμένος αυτοσυζυγής τελεστής σε έναν χώρο Χίλμπερτ . Τότε, υπάρχει ένας μετρικός χώρος και μία ουσιωδώς φραγμένη συνάρτηση και ένας μοναδιαίος τελεστής τέτοιος ώστε

όπου είναι ένας πολλαπλασιαστικός τελεστής:

,

και .

Υπάρχει επίσης ένα ανάλογο φασματικό θεώρημα για φραγμένους κανονικούς τελεστές σε χώρους Χίλμπερτ. Η μόνη διαφορά με το συμπέρασμα είναι ότι τώρα η  μπορεί να είναι συνάρτηση με μιγαδικές τιμές.

Θεώρημα Χαν-Μπάναχ

[Επεξεργασία | επεξεργασία κώδικα]

Το Θεώρημα Χαν-Μπάναχ είναι ένα κεντρικό εργαλείο στη συναρτησιακή ανάλυση. Επιτρέπει την επέκταση μίας φραγμένης γραμμικής συναρτήσης που ορίζεται σε έναν υποχώρο κάποιου διανυσματικού χώρου, σε ολόκληρο το χώρο. Δείχνει, επίσης, ότι υπάρχουν "αρκετές" συνεχείς γραμμικές συναρτήσεις που ορίζονται σε κάθε διανυσματικό χώρο με νόρμα καθιστώντας τη μελέτη του δυϊκού χώρου "ενδιαφέρουσα".

Θεώρημα (Θεώρημα Χαν-Μπάναχ[7]) —  Έστω μία υπογραμμική συνάρτηση, και ένας γραμμικός τελεστής σε έναν γραμμικό υποχώρο που κυριαρχείται από το στο , δηλαδή

,

τότε υπάρχει μία γραμμική επέκταση του σε ολόκληρο τον χώρο που κυριαρχείται από το στο , δηλαδή υπάρχει ένας γραμμικός τελεστής τέτοιος ώστε

Θεώρημα ανοιχτής απεικόνισης

[Επεξεργασία | επεξεργασία κώδικα]

Το θεώρημα ανοιχτής απεικόνισης, επίσης γνωστό ως το θεώρημα Banach–Schauder (πήρε το όνομά του από τον Στέφαν Μπάναχ και Γιούλιους Σάουντερ), είναι ένα θεμελιώδες αποτέλεσμα, το οποίο αναφέρει ότι αν ένας συνεχής γραμμικός τελεστής μεταξύ των χώρων Μπάναχ είναι επί, τότε είναι μια ανοιχτή απεικόνιση. Πιο συγκεκριμένα:[7][8]

Θεώρημα —  Έστω και χώροι Μπάναχ και ένας γραμμικός τελεστής επί. Τότε, ο είναι ανοιχτή απεικόνιση (δηλαδή, αν είναι ένα ανοιχτό σύνολο στο , τότε είναι ανοιχτό στο ).

Η απόδειξη χρησιμοποιεί το θεώρημα κατηγορίας του Baire και η πληρότητα των X και Y είναι απαραίτητη στο θεώρημα. Η πρόταση του θεωρήματος παύει να ισχύει αν υποθέσουμε ότι ο χώρος είναι απλά κανονικός, αλλά ισχύει αν X και Y είναι χώροι Fréchet.

Θεώρημα κλειστού γραφήματος

[Επεξεργασία | επεξεργασία κώδικα]

Το θεώρημα κλειστού γραφήματος αναφέρει τα εξής: Αν X είναι ένας τοπολογικός χώρος και Y είναι συμπαγής χώρος Χάουσντορφ, τότε η γραφική παράσταση μιας γραμμικής απεικόνισης T από X σε Y είναι κλειστή αν και μόνο αν T είναι συνεχής.

Θεμέλια των μαθηματικών σκέψεων

[Επεξεργασία | επεξεργασία κώδικα]

Οι περισσότεροι χώροι θεωρούνται ότι στη συναρτησιακη ανάλυση έχουν άπειρη διάσταση. Για να δείξουμε την ύπαρξη μιας βάσης διανυσματικού χώρου, για αυτούς τους χώρους μπορεί να χρειαστεί το Λήμμα του Τσορν. Ωστόσο, μια κάπως διαφορετική έννοια, βάση Σάουντερ, είναι συνήθως πιο σχετική προς τη συναρτησιακή ανάλυση. Πολλά σημαντικά θεωρήματα χρειάζονται το θεώρημα Χαν-Μπάναχ, συνήθως αποδεικνύεται χρησιμοποιώντας το αξίωμα της επιλογής, αν και το αυστηρά ασθενέστερο θεώρημα πρωταρχικού ιδεώδους του Boole αρκεί. Το θεώρημα κατηγορίας του Baire, που χρειάζεται για να αποδείξει πολλά σημαντικά θεωρήματα, απαιτεί επίσης μια μορφή του αξιώματος της επιλογής.

Διαφορετικές οπτικές

[Επεξεργασία | επεξεργασία κώδικα]
  1. Lawvere, F. William. «Volterra's functionals and covariant cohesion of space» (PDF). acsu.buffalo.edu. Proceedings of the May 1997 Meeting in Perugia. Αρχειοθετήθηκε (PDF) από το πρωτότυπο στις 7 Απριλίου 2003. 
  2. Saraiva, Luís (Οκτωβρίου 2004). History of Mathematical Sciences. WORLD SCIENTIFIC. σελ. 195. doi:10.1142/5685. ISBN 978-93-86279-16-3. 
  3. Bowers, Adam· Kalton, Nigel J. (2014). An introductory course in functional analysis. Springer Science & Business Media. σελ. 1. 
  4. Kadets, Vladimir (2018). A Course in Functional Analysis and Measure Theory [КУРС ФУНКЦИОНАЛЬНОГО АНАЛИЗА]. Springer. σελίδες xvi. 
  5. Riesz, Frigyes (1990). Functional analysis. Béla Szőkefalvi-Nagy, Leo F. Boron (Dover έκδοση). New York: Dover Publications. σελίδες 195–199. ISBN 0-486-66289-6. OCLC 21228994. 
  6. Hall, Brian C. (19 Ιουνίου 2013). Quantum Theory for Mathematicians (στα Αγγλικά). Springer Science & Business Media. σελ. 147. ISBN 978-1-4614-7116-5. 
  7. 7,0 7,1 Rudin, Walter (1991). Functional Analysis (στα Αγγλικά). McGraw-Hill. ISBN 978-0-07-054236-5. 
  8. Μήτσης, Θέμης. «Σημειώσεις μιγαδικής ανάλυσης» (PDF). Τμήμα μαθηματικών, Πανεπιστήμιο Κρήτης. Ανακτήθηκε στις 26 Νοεμβρίου 2023.